Semi - Probabilistic Automata
نویسنده
چکیده
Observing the environment and recoganizing patterns for the purpose of decision making are fundamental to any scientific enquiry. Pattern recognition is a scientific discipline so much so that it enables perception in machines and also it has applications in diverse technology areas. Among the scientific community, statistical pattern recognition has received considerable attention in recent years. The statistical pattern recognition challenges are mostly approached by Hidden Markov Models (HMMs). A Hidden Markov Model (HMM) is a probabilistic mathematical discrete structure with the state emission probabilities apart from consisting the components of a probabilistic finite state automaton (PFA). Over the years, researches have been carried out to study the relations between HMM and PFA. Probabilistic finite state automata are mathematical models constructed to generate distributions over a set of strings. The computation of the probability of generating a string as a total, and a string with given prefix or suffix have important applications in the field of parsing. In this attempt, the Semi Probabilistic Finite State Automata (Semi-PA), the most general class of Probabilistic Automata is discussed in detail. AMS Classification: 68Q10 and 68Q45.
منابع مشابه
A Decidable Probability Logic for Timed and Untimed Probabilistic Systems
In this paper we extend the predicate logic introduced in [BRS02] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to Semi-Markov Processes. Furthermore we apply our logic to Probabilistic Timed Automata considering classical and urgent semantics, and considering also predicates on...
متن کاملA Decidable Probability Logic for Timed Probabilistic Systems
In this paper we extend the predicate logic introduced in [Beauquier et al. 2002] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to SemiMarkov Processes. Furthermore we apply our logic to Probabilistic Timed Automata considering classical and urgent semantics, and considering als...
متن کاملParametric, Probabilistic, Timed Resource Discovery System
This paper presents a fully distributed resource discovery and reservation system. Verification of such a system is important to ensure the execution of distributed applications on a set of resources in appropriate conditions. A semi-formal model for his system is presented using probabilistic timed automata. This model is timed, parametric and probabilistic, making it a challenge to the parame...
متن کاملA theory of stochastic systems part I: Stochastic automata
This paper presents the theoretical underpinning of a model for symbolically representing probabilistic transition systems, an extension of labelled transition systems for the modelling of general (discrete as well as continuous or singular) probability spaces. These transition systems are particularly suited for modelling softly timed systems, real-time systems in which the time constraints ar...
متن کاملTimed Comparisons of Semi-Markov Processes
Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probability of firing a transition at a certain moment in time. In this paper we consider the trace-based semantics of semi-Markov processes, and investigate the question of how to compare two semi-Markov processes with respe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015